extern void time_init();